Space-Time Prism Model

نویسنده

  • Bart Kuijpers
چکیده

DEFINITION During the last decade, the proliferation of location-aware devices, such as GPS and smartphones, has given rise to the collection of huge amounts of moving object data in the form of finite sequences of time-stamped geographical locations. These sequences of space-time points encode (a sample of) the trajectories of moving objects. The location of the moving objects is unknown between these measured space-time points. Several models have been proposed to model the uncertainty of a moving object’s location in between sample points. Linear interpolation between the sample points is a first and obvious example. However, if additional information is available, such as a limit on the possible speed of a moving object, a more informative model is provided by the framework of space-time prisms. This model gives, between two consecutive measured locations, the envelope of possible locations of a moving object in space-time space, given an upper bound on the moving object’s speed. In the context of space-time prisms, the measured space-time points are usually called anchor points. A space-time prism between two anchor points is a geometric object in space-time space that enclosed all locations where the moving object can possibly have been, given the measured locations, the time interval between them and the object’s speed bound. The projection of a space-time prism on the spatial component of space-time space is an ellipse which delimits the collection of possible locations that the moving object can have visited. The collection of space-time prisms between a sequence of anchor points is referred to as a chain of space-time prisms. Here, it should be clear that the upper bound on the object’s speed may differ from location to location and can be regarded as geographical background information. Figure 1 depicts an example of a space-time prism between two consecutive anchor points and a chain of space-time prisms between a sequence of anchor points with varying local speed bounds.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Measuring Space-Time Prism Similarity Through Temporal Profile Curves

Space-time paths and prisms based on the time geographic framework model actual (empirical or simulated) and potential mobility, respectively. There are well-established methods for quantitatively measuring similarity between space-time paths, including dynamic time warping and edit-distance functions. However, there are no corresponding measures for comparing space-time prisms. Analogous to pa...

متن کامل

Modeling Visit Probability within Space-Time Prisms in Continuous Space and Time using Truncated Brownian Bridges

The space-time prism has been widely used to model individual movements with respect to both space and time. It demarcates all locations that a mobile object can occupy given the origin and destination anchors, the earliest origin departure time, the latest destination arrival time, and the maximum allowed travel 1970, Lenntorp 1976). Although the prism boundary has been widely recognized and a...

متن کامل

Symmetry Reduction for Probabilistic Systems

Symmetry reduction techniques have been quite successful in combatting the state-space explosion problem for temporal logic model checking [2, 3]. Recently, there has been a lot of interest in using model checkers to verify properties of probabilistic systems. We describe work in progress in extending symmetry reduction techniques to apply to discrete time Markov chains and Markov decision proc...

متن کامل

Modelling Visit Probabilities within Space-Time Prisms using Directed Random Walk and Truncated Brownian Bridges

The space-time prism demarcates locations that a mobile object can occupy given origin and destination anchors, the earliest origin departure and the latest destination arrival time, and the maximum travel velocity n Lenntorp 1976). The prism boundary has been used widely to delimit individual ’ accessibility (Miller 1991, Kwan 1998, Geurs and Wee 2004). However, little attention has been paid ...

متن کامل

Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems

Model-checking can provide valuable insight into the behaviour of biochemical systems, answering quantitative queries which are more difficult to answer using stochastic simulation alone. However, model-checking is a computationally intensive technique which can become infeasible if the system under consideration is too large. Moreover, the finite nature of the state representation used means t...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2017